From: Cosimo Cecchi <cosimoc@gnome.org>
Date: Wed, 3 Apr 2013 18:18:43 +0000 (-0400)
Subject: panel: show spinner animation for busy applications
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~1013^2^2~4328
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=5ecf40e967cfefefe379b1e6d2b65d31e2c2e792;p=gnome-shell.git

panel: show spinner animation for busy applications

When the active application signals its busy state, we now will show a
spinner on the panel, next to the application name.

https://bugzilla.gnome.org/show_bug.cgi?id=697207
---

diff --git a/js/ui/panel.js b/js/ui/panel.js
index 303e24169..5d2952cf7 100644
--- a/js/ui/panel.js
+++ b/js/ui/panel.js
@@ -566,9 +566,14 @@ const AppMenuButton = new Lang.Class({
         }
 
         if (targetApp == this._targetApp) {
-            if (targetApp && targetApp.get_state() != Shell.AppState.STARTING) {
+            if (targetApp &&
+                targetApp.get_state() != Shell.AppState.STARTING &&
+                targetApp.get_state() != Shell.AppState.BUSY) {
                 this.stopAnimation();
                 this._maybeSetMenu();
+            } else if (targetApp &&
+                       targetApp.get_state() == Shell.AppState.BUSY) {
+                this.startAnimation();
             }
             return;
         }
@@ -601,7 +606,8 @@ const AppMenuButton = new Lang.Class({
         this._iconBox.set_child(icon);
         this._iconBox.show();
 
-        if (targetApp.get_state() == Shell.AppState.STARTING)
+        if (targetApp.get_state() == Shell.AppState.STARTING ||
+            targetApp.get_state() == Shell.AppState.BUSY)
             this.startAnimation();
         else
             this._maybeSetMenu();